#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

#define USER_VADDR_BOTTOM ((void *)0x08048000)
#define STACK_HEURISTIC 32

void syscall_init(void);
void thread_exit_with_status(int status);
void munmap(int mapping);
#endif /* userprog/syscall.h */
